qadd\_grp $\in$ ocgrp\{i:l\}